Class AI::CSP::Backtracking
In: ai/csp/backtracking.rb
Parent: Object

Backtracking

Implements chronological backtracking for CSPs. If propagation is turned on, this amounts roughly to forward checking (depending on the constraints).

See AI::CSP for an overview and more examples.

Methods

each_solution   first_solution   new   to_s  

Attributes

constraint_checks  [R]  For recording statistics
description  [R] 
nodes_explored  [R] 
solutions  [R] 
time  [R] 

Public Class methods

new(propagate=true, var_ordering=STATIC)

var_ordering can be STATIC or FAIL_FIRST (note that FAIL_FIRST, or dynamic variable orderings generally are only useful when propagation is true).

Public Instance methods

each_solution(csp) {|solution| ...}

Calls block with each solution, where a solution is simply the problem with all variables instantiated.

first_solution(csp)

Returns first solution, or nil if none found.

[Validate]